def f: Int = implicitly: Int // error